RISC Zero zkVM - pogi-log